Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
51	DENSITY AND LOCATION OF RESONANCES FOR CONVEX CO-COMPACT HYPERBOLIC SURFACES ´ ERIC ´ FRED NAUD Add to Reading List Source URL: fredericnaud.perso.sfr.fr Language: English - Date: 2013-03-14 05:09:52 Geometry Mathematics Mathematical analysis Lie groups Kleinian groups Riemann surfaces Mbius transformation Projective geometry Generalised Whitehead product Holomorphic functional calculus
52	• For each 1 ≤ i ≤ n, the function fi is a ζi -excessive (resp. ζ-deficient) function (with respect to ∆) on X. • For each 1 ≤ i ≤ n, the subset Qi is a nonnegative (resp. nonpositive) bipolar part of fi Add to Reading List Source URL: sharif.ir Language: English - Date: 2013-04-27 00:22:56 Mathematical analysis Mathematics Operator theory Spectral theory Functional analysis Analytic geometry Isoperimetric inequality Multivariable calculus Eigenfunction Min-max theorem Differential forms on a Riemann surface Spectral theory of ordinary differential equations
53	NUMERICAL METHODS WITH INTERFACE ESTIMATES FOR THE POROUS MEDIUM EQUATION* DAVID HOFF† and BRADLEY J. LUCIER‡ Abstract. We provide a general basis, based on the weak truncation error, for proving L∞ error bounds fo Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2005-08-03 16:33:05 Mathematical analysis Calculus Generalized functions Operator theory Distribution Functional analysis Heat equation Partial differential equation Differential forms on a Riemann surface Wave equation
54	Laziness Without All the Hard Work Combining Lazy and Strict Languages for Teaching Eli Barzilay John Clements Add to Reading List Source URL: barzilay.org Language: English - Date: 2005-07-27 04:57:25 Software engineering Computer programming Computing Functional languages Functional programming Lambda calculus Evaluation strategy Procedural programming languages Eval Scheme Lazy evaluation Standard ML
55	Microsoft PowerPoint - Lect05data_abstractionsv4.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-21 04:47:00 Software engineering Declarative programming Functional programming Data types Lisp Computer programming Lambda calculus Cons Append CAR and CDR Anonymous function T
56	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
57	Verification Methods for Dense and Sparse Systems of Equations ∗ S.M. Rump, Hamburg In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the metho Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 04:44:10 Mathematical analysis Mathematics Arithmetic Computer arithmetic Interval arithmetic Numerical analysis Inverse trigonometric functions Boolean algebra Holomorphic functional calculus
58	The noncommutative torus and Dirac calculus B. Zilber November 14, 2010 In [1] we considered the noncommutative torus Tq2 for q a root of unity, and in [5] for generic q, which we showed to be approximated, under certain Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2010-11-14 15:24:36 Matrix theory Linear algebra Functional analysis Eigenvalues and eigenvectors Singular value decomposition Sheaf Spectrum of a ring Diagonalizable matrix Vertex operator algebra
59	Currying (what Functions of Several Arguments Really are) More About Higher-Order Functions Remember simple? Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-27 09:57:47 Higher-order functions Functional programming Subroutines Lambda calculus Programming language comparisons Fold Currying Map Function Recursion Standard ML OCaml
60	Microsoft PowerPoint - Lect-interpv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-23 09:14:19 Lambda calculus Functional programming Control flow Eval Data types Scheme Anonymous function Apply Standard ML

UPDATE